Argumentative KGP Agents for Service Composition
نویسنده
چکیده
We sketch a variant of the KGP agent model tailored to support service composition in service-oriented architectures. This allows to handle: user requirements, abstract and concrete workflows, possibly with annotations, inter-agent communication for supporting negotiation and persuasion, consultation of registries. We identify argumentation as core for Service-Oriented Architectures, and ground our work in the context of three concrete scenarios: e-procurement, earth observation, and business migration.
منابع مشابه
An Argumentative Model for Service-Oriented Agents
In this paper we propose an argumentative agent model able to reason and make decisions, communicate and negotiate with other agents with the aim of supporting service selection and composition. Actually, our agent model is inspired from the general-purpose KGP agent model which deals only partially with priorities as required by our application. We provide here an argumentation framework which...
متن کاملComputational Logic and Agent Based Systems
Il Milione: A Journey in the Computational Logic in Italy 70 SOMMARIO/ABSTRACT Viene descritto l'utilizzo della logica computazionale a supporto della formalizzazione ed implementazione di agenti in sistemi multi-agente. In questo ambitò e necessario l'uso di varie forme di logica computazionale, tra le quali abduzione, argomentazione e sistemi basati su preferenze. Viene presentato a grandi li...
متن کاملThe ArguGRID Platform: An Overview
The ArguGRID project aims at supporting service selection and composition in distributed environments, including the Grid and Service-oriented architectures, by means of argumentative agents, an agent environment, a service-composition environment, Peer-to-Peer technology and Grid middleware. Agents are argumentative in that they use argumentation-based decision-making and argumentation-support...
متن کاملBuilding Next Generation Service-Oriented Architectures using Argumentation Agents
Motivated by the increased bioinformatics service-based offering on the Grid, we envisage a new model for programming the Grid at a semantic, knowledge-based level of abstraction through the use of argumentative agent technology. In this setting, agents are associated with roles of service requestors, service providers and brokers. This new model provides an enhanced service composition model f...
متن کاملA Formal Analysis of KGP Agents
This paper contributes to the identification, formalisation and analysis of desirable properties of agent models in general and of the KGP model in particular. This model is specified in computational logic, and consequently lends itself well to formal analysis. We formalise three notions of welfare, in terms of goal achievement, progress, and reactive awareness, and we prove results related to...
متن کامل